$\forall$$a$, $b$:$\mathbb{Q}$. (($a$ $\ast$ $b$) = 0 $\in$ $\mathbb{Q}$) $\Leftarrow\!\Rightarrow$ (($a$ = 0 $\in$ $\mathbb{Q}$) $\vee$ ($b$ = 0 $\in$ $\mathbb{Q}$))